Mastroeni, Isabella: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Unexpected association between joint hypermobility syndrome/Ehlers–Danlos syndrome hypermobility type and obsessive–compulsive personality disorder

Pasquini, Massimo, Celletti, Claudia, Berardelli, Isabella, Roselli, Valentina, Mastroeni, Simona, Castori, Marco, Biondi, Massimo, Camerota, Filippo

Journal:

Rheumatology International

Year:

2014

Language:

english

File:

PDF, 194 KB

english, 2014

2

Algebraic Power Analysis by Abstract Interpretation

Isabella Mastroeni

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 420 KB

english, 2004

3

Weakening Additivity in Adjoining Closures

Mastroeni, Isabella, Giacobazzi, Roberto

Journal:

Year:

2016

Language:

english

File:

PDF, 417 KB

english, 2016

4

Abstract Program Slicing

Mastroeni, Isabella, Zanardini, Damiano

Journal:

ACM Transactions on Computational Logic

Year:

2017

Language:

english

File:

PDF, 3.06 MB

english, 2017

5

Static Analysis for ECMAScript String Manipulation Programs

Arceri, Vincenzo, Mastroeni, Isabella, Xu, Sunyi

Journal:

Applied Sciences

Year:

2020

File:

PDF, 648 KB

2020

6

What You Lose is What You Leak: Information Leakage in Declassification Policies

Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

7

Transforming semantics by abstract interpretation

Roberto Giacobazzi, Isabella Mastroeni

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 608 KB

english, 2005

8

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Abstraction of Syntax

Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella

Year:

2013

Language:

english

File:

PDF, 267 KB

english, 2013

9

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Static Analysis of String Encoders and Decoders

Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella

Year:

2013

Language:

english

File:

PDF, 368 KB

english, 2013

10

[ACM Press ACM SIGPLAN - San Diego, CA, USA (2014.01.22-2014.01.24)] Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014 - PPREW'14 - Analyzing program dependencies for malware detection

Preda, Mila Dalla, Mastroeni, Isabella, Giacobazzi, Roberto

Year:

2014

Language:

english

File:

PDF, 294 KB

english, 2014

11

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - Strong Preservation by Model Deformation

Giacobazzi, Roberto, Mastroeni, Isabella, Nikolic, Durica

Year:

2012

Language:

english

File:

PDF, 344 KB

english, 2012

12

An abstract interpretation-based model for safety semantics

Mastroeni, Isabella, Giacobazzi, Roberto

Journal:

International Journal of Computer Mathematics

Year:

2011

Language:

english

File:

PDF, 355 KB

english, 2011

13

Modelling declassification policies using abstract domain completeness

MASTROENI, ISABELLA, BANERJEE, ANINDYA

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 731 KB

english, 2011

14

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7737 || Quantifying Information Leakage of Randomized Protocols

Giacobazzi, Roberto, Berdine, Josh, Mastroeni, Isabella

Year:

2013

Language:

english

File:

PDF, 497 KB

english, 2013

15

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Data dependencies and program slicing

Mastroeni, Isabella, Zanardini, Damiano

Year:

2008

Language:

english

File:

PDF, 344 KB

english, 2008

16

[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - A characterization of symmetric semantics by domain complementation

Giacobazzi, Roberto, Mastroeni, Isabella

Year:

2000

Language:

english

File:

PDF, 396 KB

english, 2000

17

[ACM Press the ACM SIGPLAN 2012 workshop - Philadelphia, Pennsylvania, USA (2012.01.23-2012.01.24)] Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 - Obfuscation by partial evaluation of distorted interpreters

Giacobazzi, Roberto, Jones, Neil D., Mastroeni, Isabella

Year:

2012

Language:

english

File:

PDF, 762 KB

english, 2012

18

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Abstract non-interference

Giacobazzi, Roberto, Mastroeni, Isabella

Year:

2004

Language:

english

File:

PDF, 220 KB

english, 2004

19

[ACM Press the ACM SIGPLAN Fourth Workshop - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security - PLAS '09 - A weakest precondition approach to active attacks analysis

Balliu, Musard, Mastroeni, Isabella

Year:

2009

Language:

english

File:

PDF, 155 KB

english, 2009

20

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Abstract Symbolic Automata

Dalla Preda, Mila, Giacobazzi, Roberto, Lakhotia, Arun, Mastroeni, Isabella

Year:

2015

Language:

english

File:

PDF, 13.79 MB

english, 2015

21

[IEEE 2015 IEEE/ACM 1st International Workshop on Software Protection (SPRO) - Florence, Italy (2015.5.19-2015.5.19)] 2015 IEEE/ACM 1st International Workshop on Software Protection - Infections as Abstract Symbolic Finite Automata: Formal Model and Applications

Preda, Mila Dalla, Mastroeni, Isabella

Year:

2015

Language:

english

File:

PDF, 276 KB

english, 2015

22

Making abstract models complete

GIACOBAZZI, ROBERTO, MASTROENI, ISABELLA

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 991 KB

english, 2016

23

Maximal incompleteness as obfuscation potency

Giacobazzi, Roberto, Mastroeni, Isabella, Dalla Preda, Mila

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

24

Abstract Symbolic Automata

Dalla Preda, Mila, Giacobazzi, Roberto, Lakhotia, Arun, Mastroeni, Isabella

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 13.79 MB

english, 2015

25

Abstract non-interference

Giacobazzi, Roberto, Mastroeni, Isabella

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 220 KB

english, 2004

26

[ACM Press the 6th Workshop - Los Angeles, California (2016.12.05-2016.12.06)] Proceedings of the 6th Workshop on Software Security, Protection, and Reverse Engineering - SSPREW '16 - Active Android malware analysis

Sartea, Riccardo, Preda, Mila Dalla, Farinelli, Alessandro, Giacobazzi, Roberto, Mastroeni, Isabella

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

27

Preface

Mastroeni, Isabella

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 101 KB

english, 2017

28

Characterizing a property-driven obfuscation strategy

Dalla Preda, Mila, Mastroeni, Isabella

Journal:

Journal of Computer Security

Year:

2017

Language:

english

File:

PDF, 359 KB

english, 2017

29

Equational Logic and Categorical Semantics for Multi-Languages

Buro, Samuele, Crole, Roy, Mastroeni, Isabella

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2020

File:

PDF, 687 KB

2020